منابع مشابه
B Formal Validation of ERTMS/ETCS Railway Operating Rules
The B method is a formal specification method and a means of formal verification and validation of safety-critical systems such as railway systems. In this short paper, we use the B4MSecure tool to transform the UML models, fulfilling requirements of European Railway Traffic Management System (ERTMS) operating rules, into B specifications in order to formally validate them.
متن کاملStatistics review 13: Receiver operating characteristic curves
This review introduces some commonly used methods for assessing the performance of a diagnostic test. The sensitivity, specificity and likelihood ratio of a test are discussed. The uses of the receiver operating characteristic curve and the area under the curve are explained.
متن کاملOperating Statistics for the Transformational Question Answering System
This paper presents a statistical summary of the use of the Transformational Question Answering (TQA) system by the City of White Plains Planning Department during the year 1978. A complete record of the 788 questions submitted to the system that year is included, as are separate listings of some of the problem inputs. Tables summarizing the performance of the system are also included and discu...
متن کاملAn Analysis of Irish Transport Acts, 1944 195-0, and of the financial and operating statistics of Coras Iompair Eireann and the Great Northern Railway
by which a chairman with exceptional powers was appointed by the Government, and four directors were elected by the stockholders. With the experience thus gained of the new system of management, it was decided to introduce a Transport Bill, which became an Act in 1944. As a result, it was considered that adequate plans could be made for the reorganisation of public transport in the postwar peri...
متن کاملRisk Assessment on Operating Tunnels of High-Speed Railway in Perilous and Mountainous Area
The project named “the rescue system and key technology of high-speed railway in perilous mountains” primarily focuses on current railway constructions and operations in China. To state the relationship between risk events and risk factors, we classified the risk sources of operating tunnels of high-speed railway in perilous and mountainous area and established a hierarchical assessment system ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Royal Statistical Society
سال: 1911
ISSN: 0952-8385
DOI: 10.2307/2340341